$\forall$${\it es}$:ES, $X$:AbsInterface(Top), $L_{1}$, $L_{2}$:(E($X$) List). $X$($L_{1}$ @ $L_{2}$) $\sim$ ($X$($L_{1}$) @ $X$($L_{2}$))